<%@ page language="java" contentType="text/html; charset=UTF-8"
    pageEncoding="UTF-8"%>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Insert title here</title>
</head>
<body>
   <%
      String username = "";
      String user_name = (String)request.getSession().getAttribute("user");
      if(!user_name.isEmpty()) {
    	  username = user_name;
      }
   %>
  <h1>欢迎用户<%=username %>成功登陆本系统</h1>
</body>
</html>